New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Avoid the usage of xmi ids and instead use fragment ids #77

Closed

TomWerm wants to merge 1 commit into main from avoid_xmi_ids

Member

TomWerm commented Aug 10, 2023

No description provided.


          Avoid the usage of xmi ids and instead use fragment ids

fd7e73d

TomWerm requested a review from a team as a code owner

August 10, 2023 11:28

h4uges mentioned this pull request

Fix PrimitiveTypes Issue #83

Merged

Member Author

TomWerm commented Sep 25, 2023

Closed with #83

TomWerm closed this

TomWerm deleted the avoid_xmi_ids branch

September 25, 2023 07:59

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet